Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·1h
🔐Quantum Security
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·12h
🗂️Vector Databases
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·5h
🦀Rust Macros
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Highlights and features: Q&A with Experts
ica.org·3h
🔄Archival Workflows
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·1h
🔌Archive APIs
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Storage advice wanted for my homelab
reddit.com·2h·
Discuss: r/homelab
🏠Homelab Preservation
Courts Favor Targeted eDiscovery Collections, but It Is Up to In-House Teams to Enable Such Cost Saving Proportional Efforts
blog.x1discovery.com·1d
⚖️Legal Compliance
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
How to Use Knowledge Enrichment to Transform Unstructured Data
info.aiim.org·5h
🤖Archive Automation
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·2h
✅Document Verification
Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.com·1d
🔓Password Cracking
Family Archives and the Holocaust
medium.com·2d
📜Family History Data